home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Small Eiffel 0.4.8 / man / eval.hlp < prev    next >
Text File  |  1997-04-13  |  2KB  |  56 lines
  1. eval [options-1] <Root-Class> <Root-Procedure> [options-2]
  2.  
  3. Command `eval' is the SmallEiffel interpretor debugger.
  4. No C code is generated and the given Eiffel system is immediately 
  5. interpreted (as a Smalltalk program can be).
  6. Usualy, it is enougth to replace command name `compile' with command 
  7. name `eval' to run a program immediately. For example, typing : 
  8.  
  9.    eval hello_world make
  10.  
  11. should run the hello_world basic program. 
  12.  
  13. - Note - Most Unix users may need to type `${SmallEiffel}/bin/eval'
  14. instead `eval' because of clash name with the csh `eval' built-in. 
  15. As it is difficult to find a nice name (unused on all systems) and 
  16. as I am an old LISP user's, I like the name `eval' and I don't want
  17. to change it ! 
  18. Unix users can also use an alias to avoid this name clash.
  19. I am sorry for Unix users, but I am sure they will enjoy enougth 
  20. `eval' to pass on.
  21.  
  22. As for commands `compile' and `compile_to_c', the starting execution 
  23. point of the system is given using arguments <Root-Class> and 
  24. <Root-Procedure>.
  25.  
  26. There are two options list, one before the starting execution point
  27. ([options-1]) and one after ([options-2]).
  28. The first list, [option1] is given to 'eval' itself and the second 
  29. one, [options-2] is the command arguments list for the system to 
  30. run.
  31.  
  32. Arguments for `eval' (given in [options-1]) are often the same as 
  33. arguments you can give to `compile' or `compile_to_c'.
  34.  
  35. 1- Option to select the level of checking -
  36.  
  37. -boost : no assertion checking at all.
  38.  
  39. -no_check : same as -boost (just here for uniformity with 'compile' 
  40.    and `compile_to_c' commands).
  41. -require_check : Switch on checking of preconditions (require).
  42. -ensure_check : Similar to the previous mode but also switch on 
  43.    checking of postconditions (ensure).
  44. -invariant_check : Similar to the previous mode, but switch on the 
  45.    class invariant checking.
  46. -loop_check : Similar to the previous one, but also includes loop 
  47.    variant and loop invariant.
  48. -all_check : The default mode. Similar to the previous one, but also 
  49.    includes code for the check instruction.
  50. -debug_check : Similar to the previous one, but also includes code 
  51.    for the debug instruction. 
  52.    All debug are checked regardless of the string optional key.
  53.  
  54.  
  55.  
  56.